101. CAM :
Author: edited by D. Kochan.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer graphics.,Computer science.,Computer-aided design.
Classification :
TS155
.
6
E358
1985
102. CONCUR'91 :
Author: J.C.M. Baeten, J.F. Groote (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique) -- Congrès.
103. CONPAR 90-VAPP IV :
Author: H. Burkhart, ed.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Parallel processing (Electronic computers), Congresses.,Vector processing (Computer science), Congresses.
Classification :
QA76
.
58
.
J65
1990
104. CSL'87 lst workshop on computer science logic
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Design and construction-- Congresses,، Logic design-- Computer programming-- Congresses
Classification :
QA
76
.
6
.
W6
1987
105. Cafe
Author: / edited by K. Futatsugi, A.T. Nakagawa, T. Tamai
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Algebraic logic , Congresses,Formal methods (Computer science) , Congresses,Electronic books. , local
Classification :
E-BOOK
106. Calculus and Computer Science Theory, Proceedings of theSymposium held in Rome March 25-27, 1975. IAC-CNR Istituto per le applicazioni del calcolo "Mauro Picone" of the Consiglio Nazionale delle Ricerche
Author: / Edited by C. Bohm
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Combinatory logic -- Congresses,Programming languages (Electronic computurs) -- Congresses
Classification :
QA
905
.
L35
107. Cambridge international AS and A level computing coursebook
Author: Chris Leadbetter, Roger Blackford and Tony Piper.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Textbooks.,Computer science.,INFORMATIK + COMPUTERWISSENSCHAFTEN
Classification :
QA76
.
6
C475
2012
108. Catalogue of Artificial Intelligence Tools
Author: edited by Alan Bundy, Lincoln Wallen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.
Classification :
Q336
.
E358
1984
109. Category theory and computer science :
Author: D.H. Pitt [and others] (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Categories (Mathematics), Congresses.,Computer science, Congresses.,Catégories (Mathématiques)-- Congrès.,Informatique, Congrès.,Categorieën (wiskunde),Categories (Mathematics),Categories (Mathematics), Congresses.,Catégories (mathématiques)-- Congrès.,Computer science.,Computers.,Datenverarbeitung,Informatik,Kategorientheorie,Kongress,Logic, Symbolic and mathematical, Congresses.
Classification :
QA75
.
5
.
S86
1991
110. Certified programs and proofs :
Author: Jean-Pierre Jouannaud, Zhong Shao (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses
Classification :
QA76
.
9
.
M35
C37
2011eb
111. Coalgebraic methods in computer science :
Author: Corina Cîrstea (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses.,Computer software-- Mathematics, Congresses.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Mathematical theory of computation.,Mathematics-- Logic.
Classification :
QA76
.
9
.
M35
112. Code Generation - Concepts, Tools, Techniques :
Author: edited by Robert Giegerich, Susan L. Graham.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.
113. Compability theory, Semantics, and logic programming
Author: / Melvin C. Fitting
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Computable functions,Data structures (computer science)
Classification :
QA
9
.
59
.
F58
1986
114. Compiler Generators :
Author: by Mads Tofte.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
76
.
C65
B963
1990
115. Computability and Decidability :
Author: by Jacques Loeckx.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.
116. Computation, logic, games, and quantum foundations :
Author: Bob Coecke, Luke Ong, Prakash Panangaden (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Abramsky, Samsom.,Jocs, Teoria de.,Lògica informàtica.
Classification :
QA76
.
B633
2013
117. Computational Intelligence and Intelligent Systems :
Author: Zhihua Cai ... [et al.] (Eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Computer simulation.
118. Computational Intelligence in Theory and Practice
Author: edited by Bernd Reusch, Karl-Heinz Temme.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.
Classification :
Q342
.
E358
2001
119. Computational Logic :
Author: edited by John W. Lloyd.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic design.
Classification :
QA76
.
9
.
A96
E358
1990
120. Computational Logic - CL 2000 :
Author: edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer architecture.,Computer science.,Software engineering.
Classification :
QA76
.
9
.
L63
E358
2000
